Automatisierte Verifikation des Designs der grafischen Benutzeroberfläche von Infotainmentsystemen mit einem Bayes'schen Netzwerk
نویسندگان
چکیده
Die Bereitstellung von elektronischen Komponenten im Automobil in Form von Fahrerassistenzsystemen, Nachrichtenund Unterhaltungsmedien gewinnt zunehmend an Bedeutung und ist längst ein wettbewerbsrelevanter Faktor. Ein Infotainmentsystem ermöglicht durch eine grafische Benutzeroberfläche (GUI) die Interaktion mit diesen Funktionalitäten. Da die Komplexität moderner Infotainmentsysteme aufgrund der wachsenden Funktionsvielfalt stetig zunimmt, ist ein umfangreiches automatisiertes Testen erforderlich. Die Verifikation der GUI ist dabei eine besondere Herausforderung. Dieser Artikel stellt ein neues Verfahren vor um das durch Bildverarbeitungsmethoden klassifizierte GUI-Design zu verifizieren. Unter Anwendung eines Bayes’schen Netzwerks werden die unsicheren Informationen der Bildverarbeitung mit der Designspezifikation verglichen. Am Beispiel eines Infotainmentsystems der AUDI AG werden der Aufbau und die Leistungsfähigkeit des entwickelten Verifikationsverfahrens erläutert.
منابع مشابه
Ist ein Perspektivenwechsel der Umweltinformatik durch ein mögliches Verschwinden der Grenze zwischen physischem Objekt und Software notwendig?
In der (Umwelt-)Informatik ist die Bestimmung der Grenze zwischen physischem Objekt und Software eine zentrale Problemstellung. Der Trend zur Auflösung dieser starren Grenzen wie z.B. bei dem Produkt der Apple Watch führt zu Fragestellungen an die Umweltinformatik. Eine Konsequenz aus dem Verschwinden der Grenze zwischen physischem Objekt und Software liegt in der Konvergenz der jeweiligen Gest...
متن کاملOrtsunabhängiges Management von hochpreisigen mobilen medizinischen Geräten im Krankenhaus auf WLAN-Basis
Ziel des vorliegenden Vorhabens ist die Entwicklung einer Lösung zum ortsunabhängigen Medizingerätemanagement im Klinikbetrieb. Standort oder Betriebsbereitschaft der über das gesamte Klinikum verteilten hochpreisigen mobilen medizinischen Geräte sind oftmals unklar. Durch die Schaffung einer geeigneten Infrastruktur können Geräte lokalisiert, ausgewählte Parameter automatisch ausgelesen und au...
متن کاملMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
In modernen Prozessorentwicklungsprojekten kann die Verifikation von non-mainline Funktionen bis zu einem Drittel des Gesamtaufwandes für Verifikationstätigkeiten annehmen. Non-mainline Features beinhalten Initialisierungsund Resetsequenzen, Zuverlässigkeits-, Zugriffsund Debugschnittstellen, Sensoren, Bist-Mechanismen oder auch Debugund Trace-Funktionen. Im Gegensatz zur bereits stark fortschr...
متن کاملGrafische Darstellung von XML Schema Dokumenten - ein Beispiel für XML2SVG - XSLT Transformation zur Erzeugung von SVG aus XML
Zusammenfassung: Dieser Beitrag beschreibt eine XSLT Transformation um ein einfaches SVG Dokument aus einem XML Dokument zu erzeugen. Das Layout dieses SVG Dokument ist ähnlich wie ein Browser aufgebaut, wie es der Baumstruktur eines XML Dokuments auch entspricht. Durch die Vorgabe eines weiteren XML Dokuments als Grundlage einer grafischen Datenbank für die Darstellung der XML Tags als SVG Obj...
متن کاملNutzerzentrierte Realisierung eines Systems zur visuellen Unterstützung von Operateuren in Hafenleitständen
Im vorliegenden Beitrag wird die nutzerzentrierte Analyse, Konzeption, Realisierung und Evaluation eines grafischen Monitoring-Systems zur Unterstützung von Operateuren in Hafenleitständen präsentiert. Das Unterstützungssystem stellt die Entund Beladungszustände, der sich im Hafen befindlichen Schiffe grafisch dar. Der benutzerzentrierte Entwicklungsprozess reicht von der Ideenentwicklung mit H...
متن کامل